Towards A Nielsen Theory In Digital Topology